The Ultimate SRE Reliability Checklist
oneuptime.com·4h·
🛡️seL4
Is GitHub Actions suitable for running benchmarks?
labs.quansight.org·2h·
🔄Reproducible Builds
A Software Engineer's Guide to Observability: Part 1 – Logging
engineering.theblueground.com·2h·
Discuss: Hacker News
📊Runtime Verification
ASUS Gaming Laptops Have Been Broken Since 2021: A Deep Dive
github.com·17h·
🔧Unikernel Development
Software Engineering Leadership in Flux
lesswrong.com·13m
🩹Self-Healing Systems
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·42m·
Discuss: Hacker News
🐫Embedded OCaml
Why the Edge Isn’t Just ‘Cloud Computing, But Closer’
thenewstack.io·1d
Kubernetes
Necessary tool? Async LoRA for distributed systems
news.ycombinator.com·1d·
Discuss: Hacker News
📊Runtime Verification
What Makes System Calls Expensive: A Linux Internals Deep Dive
blog.codingconfessions.com·22h·
Discuss: Hacker News
🔧Unikernel Development
Lapsoss: Vendor-neutral error tracking for Rails apps
telebugs.com·6h·
Discuss: Hacker News
📦Unikernel Systems
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·12h·
Discuss: r/programming
🔬Static Analysis
Why Event Driven Systems Are Not That Hard
darrenhorrocks.co.uk·1d·
Discuss: r/programming
🌐NetworkProtocols
How to implement the Outbox pattern in Go and Postgres
medium.com·1d·
Discuss: Lobsters
📊Runtime Verification
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
🧪Property-Based Testing
Adaptive Programming Systems for Humans and AI
gfrison.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Balanced Hybrid 1st Build: Hot-Swappable Drives + Workstation + Gaming Rig
reddit.com·1d·
Discuss: r/homelab
🔄Reproducible Builds
Common Applications of Web Browser Automation
anchorbrowser.io·21h·
Discuss: Hacker News
Automated Theorem Proving
Network Storage and Scaling Characteristics of a Distributed Filesystem
maknee.github.io·1d·
Discuss: Hacker News
⚙️Operating System Design
Your Unit Tests Suck
medium.com·23h·
Discuss: Hacker News
🧪Property-Based Testing